Big Science - PDFSEARCH.IO - Document Search Engine

Big Science
Results: 2739

#	Item
721	Coinductive big-step operational semantics Xavier Leroy a,∗ Herv´e Grall b a INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2007-12-16 08:06:13 Logical syntax Theoretical computer science Logic in computer science Proof theory Coinduction Rule of inference Theorem Formal proof Structural induction Logic Mathematics Mathematical logic
722	GEER 2015 POSTER DIRECTORY As of: POSTER DISPLAY SPECIFICATIONS POSTER Add to Reading List Source URL: conference.ifas.ufl.edu Language: English - Date: 2015-04-07 14:40:50 Arthur R. Marshall South Florida metropolitan area Shark River Slough Archeological District Rosenstiel School of Marine and Atmospheric Science Big Cypress National Preserve Draining and development of the Everglades Friends of the Everglades Florida Everglades Restoration of the Everglades
723	FallVolume 42, Number 2 The edge of the Vatnajokull Ice Cap in southern Iceland, showing several small glaciers flowing off the icecap and a big outwash fan leading to a large sandur complex in the foreground with Add to Reading List Source URL: rock.geosociety.org Language: English - Date: 2004-01-30 17:30:01 Kirk Bryan Award Geomorphology Geological Society of America Quaternary science Earth Surface Processes and Landforms Science Earth Planetary science
724	Train Your Brain: The Five Essential Skills © Rick Hanson, Ph.D., 4900 TAKING IN THE GOOD: Key Points "At the banquets of life, bring a big spoon." What Is Taking In? Add to Reading List Source URL: www.wisebrain.org Language: English - Date: 2011-03-02 20:45:24 Emotion Positive psychology New Age Cognitive neuroscience Empathy Near-death experience Emotional self-regulation Anger Psychological resilience Mind Cognitive science Ethology
725	T echn o logy Ne w s Storage Challenge: Where Will All That Big Data Go? Neal Leavitt Add to Reading List Source URL: leavcom.com Language: English - Date: 2013-08-28 08:13:03 Storage media Computer storage media Computer storage Holographic memory Data management Solid-state drive Computer data storage Optical storage Heat-assisted magnetic recording Information science Technology Information
726	GEER 2015 POSTER DIRECTORY As of: POSTER DISPLAY SPECIFICATIONS POSTER Add to Reading List Source URL: conference.ifas.ufl.edu Language: English - Date: 2015-04-07 14:40:50 Arthur R. Marshall South Florida metropolitan area Shark River Slough Archeological District Rosenstiel School of Marine and Atmospheric Science Big Cypress National Preserve Draining and development of the Everglades Friends of the Everglades Florida Everglades Restoration of the Everglades
727	Introduction to Virtual Data Intensive  Summer School    July 8-10, 2013  http://www.vscse.org/summerschool/2013/bigdata.html" Add to Reading List Source URL: www.vscse.org Language: English - Date: 2013-07-08 15:33:04 E-Science University of California San Diego Geography of California San Diego Supercomputer Center San Diego Big data Technology Computing Cyberinfrastructure
728	Say what? learning to recognize speech Semester or Master project Keywords: big data, machine learning, speech recognition, natural language processing Supervisors: Florent Garcin, {firstname.lastname}@epfl.ch Descripti Add to Reading List Source URL: lia.epfl.ch Language: English - Date: 2013-12-01 12:52:24 Artificial intelligence Statistics Speech recognition Computational neuroscience Computer accessibility Natural language processing Supervised learning Hidden Markov model Dynamic time warping Computational linguistics Science Machine learning
729	CHAPTER 1.8 The Wisdom of the Cloud: Hyperconnectivity, Big Data, and Real-Time Analytics Add to Reading List Source URL: www3.weforum.org Language: English - Date: 2012-03-27 11:31:44 Science Analytics Data mining Unstructured data Text mining Predictive analytics Customer relationship management ADAPA Customer analytics Business intelligence Statistics Business
730	Big Data for Development: Challenges & Opportunities May 2012 Add to Reading List Source URL: www.unsiap.or.jp Language: English - Date: 2014-12-30 02:40:12 Business intelligence Data analysis Data mining Big data Mobile banking Analytics Internet Mobile business intelligence MHealth Technology Formal sciences Science

UPDATE